The Equational Approach to Contrary-to-duty Obligations
نویسنده
چکیده
We present in this talk different techniques for quickly answer graph problems where some of the nodes may be turn off. Typical graph problems are such as connectivity or distances between pair of nodes but not only. Emergency planing for such problems is achieved by pre-processing the graphs and by virtually preventing all possible subsequent node removals. To obtain efficient data structures, the idea is to attach very little and localized information to nodes of the input graph so that queries can be solved using solely on these information. Contexts and solutions for several problems will be surveyed.
منابع مشابه
Logic of Violations: A Gentzen System for Reasoning with Contrary-To-Duty Obligations
In this paper we present a Gentzen system for reasoning with contrary-to-duty obligations. The intuition behind the system is that a contrary-to-duty is a special kind of normative exception. The logical machinery to formalise this idea is taken from substructural logics and it is based on the definition of a new non-classical connective capturing the notion of reparational obligation. Then the...
متن کاملA Gentzen System for Reasoning with Contrary-To-Duty Obligations. A Preliminary Study
In this paper we present a Gentzen system for reasoning with contraryto-duty obligations. The intuition behind the system is that a contraryto-duty is a special kind of normative exception. The logical machinery to formalize this idea is taken from substructural logics and it is based on the definition of a new non-classical connective capturing the notion of reparational obligation. Then the s...
متن کاملA Conflict Between Some Semantic Conditions of Carmo and Jones for Contrary-to-Duty Obligations
We show that Carmo and Jones’ condition 5(e) conflicts with the other conditions on their models for contrary-to-duty obligations. We then propose a resolution to the conflict.
متن کاملContrary to Duty Obligations A Study in Legal Ontology
In this paper the problems in deontic logic around contrary to duty obligations are used to conduct a study in basic normative ontology. Three causes of the problems around contrary to duty obligations are identified, that is 1) the attempt to analyze obligations in terms of what is ideally the case, 2) the application of deontic inheritance to the presuppositions of obligations, and 3) the fai...
متن کاملHenry Prakken and Marek Sergot Dyadic Deontic Logic and Contrary-to-duty Obligations
One of the main issues in the discussion on standard deontic logic (SDL) is the representation of contrary-to-duty (CTD) obligations. A well-known example is Forrester’s (1984) paradox of the gentle murderer: it is forbidden to kill, but if one kills, one ought to kill gently. Intuitively, one would feel that these sentences are consistent, but in SDL no (obvious) consistent formalisation is av...
متن کامل